true sequent перевод

true: 1) (the true) истина, правда; реальность, действительное положение дел _Id: in true правильно установленный (настроенный); точный _Id: out of true плохо установленный; неточный; невертикальный, неот
sequent: 1) следующий, последовательный, идущий по порядку Ex: sequent events цепь событий2) являющийся следствием
cognate sequent: сходная секвенция
derivable sequent: мат. выводимая секвенция
end sequent: матем. конечная секвенция
explicit sequent: мат. явная секвенция
implicit sequent: мат. неявная секвенция
lower sequent: мат. нижняя секвенция
negative sequent: мат. негативная секвенция
positive sequent: мат. позитивная секвенция
prenex sequent: мат. предваренная секвенция
provable sequent: мат. доказуемая секвенция
regular sequent: мат. регулярная секвенция
sequent calculus: Исчисление секвенций
upper sequent: мат. верхняя секвенция